{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Divided Preferences: Approval (5.2.3)" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:05:51.978596Z", "start_time": "2021-02-12T08:05:46.263486Z" } }, "outputs": [], "source": [ "from fractions import Fraction\n", "from matplotlib import pyplot as plt\n", "from poisson_approval import *" ] }, { "cell_type": "code", "execution_count": 2, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:06:32.001633Z", "start_time": "2021-02-12T08:06:31.995809Z" } }, "outputs": [], "source": [ "SCALE = 25\n", "SAMPLES_PER_POINT = 1000\n", "N_MAX_EPISODES = 1000" ] }, { "cell_type": "code", "execution_count": 3, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:06:32.166573Z", "start_time": "2021-02-12T08:06:32.159558Z" } }, "outputs": [], "source": [ "divided_majority_av = SimplexToProfile(\n", " ProfileHistogram,\n", " right_type=('cab', (1, )),\n", " top_type=('abc', (1, )),\n", " left_type=('bac', (1, )),\n", " d_type_fixed_share={('cba', (1, )): 0.2},\n", " voting_rule=APPROVAL\n", ")" ] }, { "cell_type": "code", "execution_count": 4, "metadata": { "ExecuteTime": { "end_time": "2021-02-12T08:06:40.875936Z", "start_time": "2021-02-12T08:06:32.333723Z" } }, "outputs": [ { "data": { "image/png": "iVBORw0KGgoAAAANSUhEUgAAAU8AAAEyCAYAAAB6cVLtAAAAOXRFWHRTb2Z0d2FyZQBNYXRwbG90bGliIHZlcnNpb24zLjMuNCwgaHR0cHM6Ly9tYXRwbG90bGliLm9yZy8QVMy6AAAACXBIWXMAAAsTAAALEwEAmpwYAAB0TElEQVR4nO2dd3wcxdnHf8/uVbU7FUuymmUb995wLxjcm2RTAoTeIRBCJ4GEEEgIIQQIvYReQjGmmfZSjMGYmGKDARfARbbcLenUdXc77x+3e5pb7d3tySedynz5LHfafXZ29rndn2d3nnmGGGMQCAQCQWxIia6AQCAQdEaEeAoEAkErEOIpEAgErUCIp0AgELQCIZ4CgUDQCoR4CgQCQSsQ4ikQCAStQIinQCAQtAIhnoKEQEROIlpFRHIUuxlE9LSJ8mxE9AkRWeJXS4EgPEI8Be2OKphnA1jOGPNHMR8J4JtoZTLGmgB8AOCkI66gQGACIZ6CdoGIXiKiO4noIwDXAzgVwGvc9uOJaC0RbSCiT4moh7ppBIB8IvqCiH4hohmqfR4RvUJE3xDRJiI6GsAKtVyBoM0R4iloL4YBqGGMHQPgdgB9GGPbue0fMcYmMMZGAHgfwInq+pEAqhlj4wFcCOAv6qP52wAeZ4yNAjAawI8ANgIY1x4nIxAI8RS0OUTkAJAB4GZ1VRaASp3ZmUT0PyLaAOBiAA2qSGYC+Ktqs17dtwTAj4yxNwGAMVbHGKtWXwE0EVFqG56OQAAAEC/XBe3BEABfMMZ86t/1ABzaRiI6HcDRAGYyxmqI6BMA3wMYDOAn9X0mEGhhbkCgNbo2zLHsABrifgYCgQ7R8hS0B8MAfKv9wRirACCrLVJt+xpVOJcBmATgOwTed/YmIjsRpQD4E4C7AOxFQJABANr7USLKBHCAMeZt+1MSdHeEeAragxDxVHkPwBT1+5MALiOi1QD6A/iFMVaLgHg+C2ANgP8BuIcxthbAEwByiOh7IloPYKJazjEAVrbheQgEQUgkQxYkAiIaBeAKxthpcSxzOYDrGWOb41WmQBAO0fIUJATG2DcAPooWJG8WIrIBWCGEU9BeiJanQCAQtALR8hQIBIJWIMRTIBAIWoEQT4FAIGgFQjwFAoGgFQjxFAgEglYgxFMgEAhagRBPgUAgaAVCPAUCgaAVCPEUCASCViDEUyDoJhDRVCISw1fjhBBPgaATQ0TXE9FK3bqtRusA5DPGBrRrBbswQjwFgs7NJwAmawlWiCgXgBXAaN26o1TbdqerzmgqxFMg6NysQ0AsR6p/TwPwEYDNunU/A+hPRLu0HYloOxFdRUTfElEVEf1XS1CtTvm8i4iuJKL9RLSHiM7i9rUT0R1EtJOI9hHRg0Tk1O17LRHtBfA4EWUR0ZtEVElEh4loNRF1av3p1JUXCLo76hQlXyAgkFA/VwP4VLcuXKvzRABzAfQGMBzAmdy2XAAuAPkAzgFwHxGlq9v+jkDi6pEItGrzAfxRt28GgF4AzgdwJYBdAHoAyAHwewCdOqWbEE+BoPOzCs1CORUB8VytW7cqzL73MMbKGWOHAbyB5tYqAHgB3MwY8zLGVgKoATCAiAjAeQB+xxg7zBirRmCSvl9x+yoA/sQYa2SM1atl9QTQSy1vNevk+TCFeAo6JOpj4ddE9Mfo1t2eTwBMUVuFPRhjWxGYumSSum4owrc893Lf6wCkcH8f4ibt47f3AJAE4Cv1MbwSwDvqeo0DjDF+Ir5/APgJwHtE9AsRXRfrSXY0hHgKOiTZSUmTAIyySNKNnf3dWDvwOQKP1+cD+AwAGGMeAOXqunLG2LY4Hu8gAjOgDmGMudXFxRjjhTekValODX0lY6wPgEUAriCiY+NYp3ZHXJSCDomfsRckIvgUxdLb7b4m0fXpyKiPxV8CuAKBx3WNT9V1ce1lZ4wpAB4B8C8iygYAIsonojnh9iGihUR0lPrI7wHgV5dOixBPQYejyOU6+VB9ffYVEyagR1IS9tbU3KzOUSQIzyoA2QgIpsZqdV1bhChdi8Bj+Foi8gD4PwCRYkj7qTY1CLSU72eMfdwG9Wo3xBxGgg4FEUmpdrtHUZTkQ9dei9c3b8aJL72EYrf7gW0VFRcnun4CgYZoeQo6FIOysq6vbmxMvmXmTNgtFhw/eDD6pqdjt8dzIRGlJrp+AoGGEE9Bh4GIbNsrK//UIykJvxk/nqnrlMdLSuBVFCpyuZ5JdB0FAg0hnoIOQ7HbfWe9z2e9d/58WCSJtPVTe/XC2Lw87PJ4FltlOSeRdRQINIR4CjoERJS62+O5qE96Ok4YMkRb7YN6jT5dWgqFMeSmpLyRsEoKBBxCPAUdgl4u19NeRZEeX7IEgWiWUAb26IF5Rx2FXR7PuDS7fWACqigQhCB62wUJxyrLOQpje0fl5uLLCy7gN/kABDPy7KmuRsGdd6JHUtIve2tq+rZ7RduHNrkhtfucMQav14vKykrs2bMHP//8M7Zs3oyNGzfiqy+/xPZt24K2BMAqy/ApChROJ9LS0jB56jT06dsHY8eORUFBAXr37o2MjAw4HA5IUqBNZvSPYJxos4JjQYinIOEUulxrd3k84zdedBGG5IS80gwRTwA489VX8eSGDchJTp6xt6Ym3Hjtzkxcb0jt/vb5fKioqMDGjRvx2WefYe3na1C2YyfqKiuQbrUiw2ZDD2cShvToAUtQ/IB0hxPVjY3wKopaHrDL48HWigrU+nzY19gAcjiQ3bMnRo0Zg6lTp2LUqFHIz8+HzWYDEbWFiArxFAjS7PYB1U1Nm+b07Yt3TjtNv7mFeHoaGpB1++1ItdsPHqqr66HfoQsQlxtSu6+bmpqwfft2fPTRR/joow+xft2XsDQ1YGBGOoblZGN0bk/0cbuRk5wCmyQjyWINlkFAQEEZ4ypFaPL7Ue/1obrJi+2VlVi/dx9+OHAA6/fvw2HFh6Kj+mLmccdh5syZGDZsGFJSUuItokI8BYKeqalb99fWHlX2u98hLy1Nv5nB4Ea5/v33cdtnn6HI5fr1jsrKZ9ulou3HEd2Q2v3c2NiI7du346233sJrr76KvTt+Qa+0JCwYdBQmFhairzsdqVY7rEwCMQocVV0obC1IrSCp3wkMBL9CqPcpKPfU4us9e/DW1h+x4eAeSO5UHDPrOCxbtgwjRoxAampqvERUiKege9MzNXXa3pqaVacPH44nly41MlG478HOzUafD1m33w4C6qqbmlLVsdZdhVbfkIwx+P1+7Ny5E6+88gpeW/EqDu7ajqOLs3HC6MEYmZeLbEcybIocaNP7AfIj4GVFOzJFrwFrFs/AzyKDQQZggZ/JqGrwYeuhCryx5Vu8s+17NCVbMWPWsfjVr36FMWPGwG63Aziid6JCPAXdm+zk5INVjY2Z+66+mrkdDu2G0ISQjwTRWqCKtv7utWuVy995Ryp2u/+wraLir+1X6zYn5htSu4dramrwySef4KEHH8QPG9ZhyqCeOHHiYIwvLoDb4oDkJaAJoCYExNNHgdQcvHhqRw9bC9ItAfEEswCwgMEKwAYGK+q9hE0HD2LFpi/xxk/rIGen4PQzz8AJJ5yAnJwcSJLUWgEV4inovvRyu0/ZWVX17LWTJ+O2WbMUNN+Nho/qKn4AMgD4FUXpeccdUnVTk6/B50tWM6p3BWK6IRljUBQFv/zyC55++mmsWP4ictP8OHnmECwc1x8ZViekJgIaAWoE0AjAS4HUxD51CRHPWFqeEoLiCQsCs4FYAWZHQEAdYLCj3ktYt/sXPLHhXfzv0GaMnDwWF118EcaOHQuHw9EaARXiKeieEJGUarN5FMaSD117LewWC8C1KqMQFNCXv/8eJ7z0Enq73Q/+UlFxURtWuT0xfUNqj+kbNmzAn/98E37cuA7zphTjspOORq9MNyw+KSCaDQAaCGhAQDybEBBPLwA/1/rk3nsa6lOwZvpWJy+eNgD2wMIcABxgcEBhNlQ0NGL5Dx/jwW9egpJhwTXXXYOSkhI4nc5AqeZFVIinoHvSOz39uu2VlX+7a+5c/HbCBG21WfEM9sAzxtDvnnuwo6qK+RTFrSYA7uyYuiEZY6irq8NHH32E+++/F3t3bcQlp41BycyBSE9ygpp0oqktjQAaA4/vwZanJqBB8QxoU8mzz6LM40GD14vfTpyI88eNC25rbnVK6iM73+rUFicAB8ACLVDAjgYfw7ryTbj9s4ew23IAZ55/Fk488UTk5uYCMC2gQjwF3Q8isjkslppUm82696qrggHVaIV4AsCnO3Zg6uOPo5fL9eb2yspFbVDl9ibqDckYQ21tLV588UXcccff0aeQcN1lkzBmcB4csqX5vaZeOPnWZ6P26E7cozuFvPM8XFeHjKQk1Hu9GPfAA1h17nnITEpCoFOJEHgA0FqeaquT2aEJJuBAUEBhB5gdDDb4mYwdlXvx0FdP4+Vf3sCiExbj6quvRl5entne+A4hnl1yPmVBx6XY7b5re2Wl9anSUl44W82UXr0wLi8PX+3Zs9Aqy7lev39v9L06L5pwvvDCC7jjH7fhqD4ybv79dIwYlAuJEciLgLApCOiZJop+qP/sqN/91LwtMLu7egDtE7hn7Vq8+sMPAICyqipsPXwYmSkpARvSWp0SQM0dRsEWaFBMub/JCmIWyGRFn/Q+uHLipZDJiudfeBmKouCaa65Bfn4+gDYdnRQ3hHgK2g0iSrVK0gV909Nx/ODBcSv3qdJSDLrvPvRMSXkdwNFxK7iDwRhDQ0MDXnjhBfzjH7dhQD8L/nzDDAwfnAMJBPKhucNHe4epcGIZ/NTecxL3GE5qd11g/49//hn/98sv+PySS5Bks2HGQw+hwe8HJClgy6RAi1MTTrKoQsm/++Q+tW1kATELGCzITs7F5RMug0QWPPviC1AUBTfccEPwEb6jIxKDCNqNIpfrGa+iSI+XlMQ1xm9gjx6Y368fdldXj0uz2wcdWS07Jlrn0Lp16/Dgg/dh0EAr/nLTMRg+PAeSlQINQZkC2mUBYKXAYlMXKwE2qfm7RQossgTIMvcZWKqampDudCLJ6cSmQ4ewdufOZhvJ0mwrWQILqZ+SDSAbQNbmT2ifmoDKILWzKTs5G78dfxlOG/hrvLfiXbz04kuora1FZ3idKFqegnZBTf6xeGxeHqb26qXfHOxBj4LC2YWEND26eDEK7rwTSVbrWwD6xKPOHQUtHGndunW4+eabkJvbgJtvmoEhg7MhEYH0veOMewRXuMdzhZpbnlqrUws7Imq2AWHukKF4cO0XGP7Pf2JAdjYm9OqlCqYFIS1PZlEXK8Bs3GIPfAZboKpwMguAQIuVmAQGCT2Ss3HZ+EuhMIaH73sYziQnTj31VDidzg79+C46jATtwlEZGet/rqgY8f3FF2Nwdra2WhNAXjy1Pl/9U5H2MKrZtQimP2vFCjyxfj16pqQcW15d/WEbnEZ70OKGZIyhrKwMV1xxBbZsWYO//fUYzJndF7IsBYRT6+hR0PxI7qNAPGcTBTqHGgio1xZJ7TwioEkK2Pn0ggq0aOTzvfFM4oTTBihqaBJzBhbFqf7tUMVU643XOpm0d6bNwzx/qdiGq96/Gj/RT7j733dj+vTp4QLpO4Siisd2QZuTZrcP/LmiYsScvn0ZJ5zBAYEIbXXyNwZDcxAN6ewkzlYB4L977lzYZBmNfv+L1JGbLDGghSQ9//zz+Oabz3DhBaMwc2ZvyBYJRAi0GINRQ2rnj0yBjiEL/+guAXYJsMuBT5sM2CyBT6sl8N1qjWGxARYrYLEBsg2w2AHZDkj8YgMkq/oIH3hcB8mBymodTqT9jIRidzGumXQ1HB4H7rv3PuzevTtxjjeBEE9Bm5Nstb4pEeE/S5bwgqZFWRsh6b6HE0K+iSSlORy4cuJEHK6vzyxyuU49slonHu1xfc2aNXjuuSdRUtIbJ5wwBA6nJSCcWidPiIhSQDxl9b2mVV004XTIgMMSWOwWwGYF7NbAp00VRpsVsNlCF6vue1BAbYDVroqnQ13sAUGV1HedwfeickAsNeHUKk8EAkEiGaN6jsYV46/Aj//7Ec888wzq6uo67PtPIZ6CNiU3JWX63travqcNH85nTYo0BJPHb9IuWN6fZsxAis2Givr6h4io01/fu3fvxn333QuHowannTYcmVlJ6hbi/ukgTkDVRZbU1qfWypTVVqccEE1NQB2aeKrCaLcBNru62AC7+t2uiae95WKxAxaHuvAtULXlKXGtTk08SX3Pyp0LAbDLdszpOwdTcqfguaeew5o1a6AoSocU0E5/cQk6Nj5FedkqSbhn3rx2OZ7dYsHfjj0W1U1NSb3d7uvb5aBtAGMMPp8P77//PjZu/BLnnDMSAwdmBfWmeaQkJ5xB8ZTU1qfU3Ktu0wunFXDYVPG0qd/tAbF0aIuj+W+7Q13szYJqcwBWB2BzBj6tqoDKdvVx3hroYJLkwEKhj+nBemvnrH51O9w4b/R5SK5LxgvPv4Cqqqp283ssCPEUtBm93O5TD9XXZ105cSLSHI52O+7F48YhOzkZe2pqbiIie7sdOM6Ul5fjpZdexJAhaZi/oB/sdi04JqAyfILioHiGCKgEWOTAYlXfcdo14bQCTlVAnbaWgml3BL4HF72IOgLiadeEU/vUHuE14dTEUwrUi6+ndh4U2ktGRBiaPRQl/Uvw2arP8MUXX3TI1qcQT0GbQERSRX39wyk2G2465ph2PbYkSXhgwQI0+HyW3m73Pe168DigzTP03nvv4eefN+LEEwcjJyfZwDLQS824d4fBThiSmkXLIgMWS6BjyK4JpyqaTntgCQqkKpZOvXg6Q/+2OwPrbM7AdxsnnFar2plkCQi4pC7a47pEwRGejFqcEgDAYXFg8YDFyPBl4L8v/BeVlZVt6vPWIMRT0CYUu93XVTc1Jf115kwta1K7UjpoEI7KyECZx3MeEbVIUd/R2bt3L15+OdDqPOaYYlhk7VY1DiMKiigR915RFVDZElgsXIeQXW1tOu0BoXTywuls+d3JC6gqnHZNOFXx1N6TWqwBwZbVVq8sNb+L5YSzRWpQHX3S+2JJ/yX4fPXn+N///idanoKuDxHZ9tbU/LlHUhIuOdpwtCTBXPYg2aRdi/KICE8sWQKfolAvl+s5E2V0CLQe9g0bNuDnnzdh3ryj0KOH2upsITJ69QkEnQdEVB1zrvV0h4inTSeemoDqWpxOAzHVtz7tzuZ3oTa11Wm1BF4TWKTmnn+ZgkPhWQTBbG5BE+wWO2b3nQ1HowMfffQR6uvrO5SACvEUxJ0BmZn3N/h8lvsXLNAn//Bz3/k4Tz16u3Bo25juOwBgcq9eODo/H2UezwKrLHeOAdMIZIRfsWIFevSQMGVqEWSLpD7eqmqjdRIFCRXQ4LQYwR5uS6DXW1bjMq22UAHlW6BGItni8d2JkMd4u9bqtKrxomqL06L2+MsUHJAUjEk1ankahOb2Tu+DKflT8MH7H+Lnn39uI4+3DiGegrhCRGm/VFScfVRGBpYOHtxC0DhkNEuA32A7EBoYz3R2fJmSzi4ouE+WlioKY8hJTn4jhtNIKDt27MDXX6/DhEn5KCp2h8yM0aKTyFCFmgWUqck4AotVFVE1NtOm9a7rOoWCHUdc77qds+E7jexqGJOdE06bpI6fJzCZgoOKQkST/841Q0MGMYGQbEvBcX1no3JvBdatWwe/P9yl0v4I8RTElV4u17NeRaHHlyyBRKSfESfa+PVIdvoHPe0W1BMSVD8wK4sWBJKGjE212+OXyqmN0JJ/eDwHMHVaL9jtlqCQ8IneQ0OVeEXil4BqMVjANOGU1BFBIQKqtkKDQhlpcYR+2mxqi1MVTU04rdScZEkdzh5SNT68iu88It05koRhOSPQ05GHT1Z9gpqamnb5HcwgxFMQN6yynFvm8Swcl5eHKYHkH5oIRrvOZARai9EC4iWEb6XyaOUwAPTo4sWQiJBstb5pYt+E0tjYiA0bNiAjy4rBQ7PBJNLNz0aGS7OIhgpns3oFJmdjWrYjTUQtBiKqH13UYrFz3zXhbG5xMis1p/fkhTMooJxoojlUKSSTHprXZSX3wIjskdj04yYcOnSo3X6LaAjxFMSNnOTk1xXG8FRpaVseJuYeg9zUVJw5ciT21db27pmaemxbVCpeVFZW4ttvN6D/wAy4M51B4VTQcqJLJdgaJbWjiOtlDyOg0ARU0h7hrc0dSdqwS22YZrgx7cFhnJZm4dREk8+FbOGqwAlnMK8INedt1j5DzpcAPwiybMew3JE4uPcgtmzZ0j4/hAmEeAriQprdPmh3dfW4eUcdhYE9eiS6Oi24S0sa4vN16KQhhw4dgsdTgYFDsmFLsgXyF4OCwukPLlqLNNDyVIKtUE1EedXSzW4JK9cKVUXUovWSczGa/GK1NNsEP2XAKqmiSaGiqW95ygQmqR1HEpctj5rzNYdkzePOFZKMvlkDYWcO7Ny5s91+i2gI8RTEhSSr9S2JCI8tWZLoqhiSarfj6kmTUNHQkFGYlnZ6ousTji1btsBTfQiDRuQAFgpOMRRYKERMA5+kCilBgaSKqAQFEpgWrhSiYqHKxsgKFhLOZGkOqg9+cttkbX2gN51ZqKVY6kVTbhZNRQpNK8oLpS/Cku8uRoatB/73v/+10y8RHSGegiMmLzV1xr7a2t6njxiBnqmpia5OWP44fXogaUhDw/0dNWnITz/9BEh+OFJt8BIFZwhuXprX8eLSLKQS/Kp4KpChQNaJqF5AA38zksFIHYOuZZYPDquUdNnmpYAgxiqaeuHU6k/N89C1PN/AQrIdSbZUfP/9923/I5ikQ15Ags4DEVGj3/+yTZZx99y5R1RUnO1aYLNYcNtxx6GmqSmp2O3+fWvLaUs2btyIHj2TkNPLDS8CMwQbLV4QmtTFyy2+FgLKi6hs8DjP9eaQDKaJpeES2M6CeUONFyYTFBlQZMAvA34psPgkwCs152nWluB5UfjztdlTMDB7BNZ/vaGdfonoCPEUHBFFLteph+vrM8Mk/wgNTQyPEua7Hj+ar9lIve7aNtLbXTR2LHKSk7G3puZPHTFpiN/vh8Umg9lkNEI3czDUWYN13xtBaASCYtosqBJ8qpDyrVFGIV3f3KKOUiL1kZ8TTkYEFpJ4WbfICEQGSKpwSi1FMyiW1JzgXpsFuZF058RvA8FLMqxWJxQR5ynoChCRVNXQ8EiqzYY/zZjBb+LFS2spap2o0eyMBFcxsIsVBoQmDemTnn5vK8tqUxTAUDgbANTrlgaQ+p1UG0IDCI1BIZWCIurjRZRIFdFQ4Qy6mNRecU00g6nvWi5MIihEwUdzTTB9OqHUZv6oJ+4ciD8Xo/NrXnxoRahFGyImgBO0mt5u9/XbKisd98ybx+wWC6E5KbGRwElovvYVhP7DzdvzAfL62E/JwI7p7PjRRno7BgClgwdTv4wM2lZZeQ4RXcUYq4pwmu0Mg6K2uurVNbxD9eOIQkPjiXt6JnUJfLeof0vcpwQCqVnciRkdhUM/PCEorC17zvn3mj6jziHeFqExnYwAxkL/BWVo7jAzGsKZKIR4CloFEdkdFstN2cnJuGTcOP6uA8I/0ei3RxtxxGtFJBspig1/TAaAnigpweT//IeKAklDFkTZt904dOgQnG47mixSUDwBvaxRCxFtfnqm4BLovyGuW6j5uxwUUbUMrWHZIkdcS/gRT/zknEHBRPMcdHxnEB9+pIVd6QPi9Y8d2nc/CDaHCxap40hWx6mJoFPR2+2+Z1tlpeXZpUv1yT/MEMs0HGauUbPlAeoMnJOKijA+Px/rysvnW2W5p9fv32Ny/zbFmZSEAw1+1Cks7InzQqpvfaopQWAJjGoPRneq4fHBvzUb7c2nNl0pEUDM2JlMPSo/CoiPPeV7//mIAD4ygBfPFq1OhAonjx8Mdb4GKCzSK/H2RYinIGaIKM0iSecdlZGB0kGDEl2dVvNUaSkG3HsveqakvAlgTKLrAwBJziQ0HPahXmGwIpyYMLXtadTy1Eaza2LJYEOgLD8AGxgYAsIJtfzm/PTqeCUiMDBdK5SC9oxxwskAn7p4dUsT912z8an7+AEozJxwar1+tb4GKErH6TAS4imImSKX67mdVVX0xJIlRnNqdxr6Z2VhYf/+eHPLltEZTueQw/X1HSKIUGGBDhKr+rf+MVYvac3iqeVRCiy+wDgiKGBQ1P/zAzslNbRegQKCBEUdn8RUcdaLGWOhi8JUIdSEUWkWTX7xMq4lqgqnn7VsdbY4We5ctZat6DASdFqsspyrMLbg6Px8TA4k/+jUPLp4MfL/+U9YZflNAL0TXR+onSqNaCmeeuEIvPNsHpQZ+siuiWbzA7Y2Bql5CeynBAd4BlqcARHV/aPImludjAGKErr4lYB4+hTAqy5NukVrgQZbnuBan3rRZM3nCNXWx6/oAIhQJUFM5CQnv9EOyT/ajZyUFJw1ciT219YW90xNPS7R9UlKSkK9pxFVlQ1cHKfRwtSF/xtohIImMDRBQRMUeNXFF1z88EOBX/efEvyPGXbiBDuGwgin368KqD+whAio1gpVvzfyCww++YUFzq3O34SKmr1ITjaayykxCPEUmCbVbh+8u7p67IJ+/TAgK0u/WdF9hkN78jTz5t9i0k4Lk4qGAoMe/jvnzoU9kDTkv4lOGjJh/ATUHWzCgd2esKNtAiOMtO8M3uCiBD99QdH0B0WzefG1kM7AEmh18r3h+mxO2iN3UDDDLJqI+hTA6+dapAbvRr0h52N8rjVNtSg/tAnTp09tr58iKkI8BaZx2e3vSkR4dPFi/SZ9WF44IVPQ8inUyNZoig4jETUKsjfqUeCD7LVjBu1S7XZcPXkyKhoaMgZlZZ0bpu7tQn5+PuwWBzyH6uFVmEGPdeBdpjf4vXld6BIQRE0sm0XTp/svVED1IUUtsjmxZvH0aS1Nn27xc598i1Tbh+tg4jua9L31fK99bVMNvP469O3bt11/j0gI8RSYIi81debu6uqCM0eORG5qqiY8WqgeoblFp02vwQsUL3L6GE/tKREIFUijmNFIghsOXsyNosAZANwwbRpLtdlQ5vHcncikIf3790dmWiZ2fr0HjV4l0BmjtgabxTIQuuMPfvKLwglhaGvTBx+83Gfzd7/aStUnGzHIcKTGbPqY+njuCyw+H+D1thRSv69ZOP36hSFErPke+RAhZQz7Dv+EhsYDGD9+fLv+HpEQ4imIipr840WbLONfc+aEbEL4V/j6ISsIY2sU4B51eg0VoyB7XpS1YxrZ8UHzsFss9PdA0hBnsdt9g4F9u5CWloaeuXko/3Y/6jwNUVqCLYVTCYpn8398O9PbYvFzj/st4zT18ZrBhamP4f7A0qSKqNerE1H+cV7hWq5qb722aL3vWvgT39r1Kj7s2rsejiQJ+fn57fhrREaIpyAqRWlppx2ur8+8etIkLfmH2ek1JN1nOLR3oGauRx/M9bmafQ8qqWXiguakITcmKmlIWloahg8bDs/OalTtqWmRXT2wBN5NHtpegX8NvUvt5GkOSWp+DNcLJ/9fQDib1A6m5neOfGKR0PeRLd5Nap1AXAuUb4kGW59+QPHrOpp04sl056jFgSpgaPTWYe+BjcjPz0Xv3okPiNAQ4imICBFJhxsaHkix2fDH6dMTXZ02RZIkPLRoERp8Pkux252QpCFWqxXjx48H1RDKviyH36/oRuKwkO/B3nBVOEMFVGt5+kNam03q0gh/sHc+kJUJIZ/ad23Rsh/xGZGaWEA8m9TWZxMvoFznkdbBpIlnSLwoVAHVxX5q5324aif2H/gW48aNRUZGRjv+GpERcZ6CiBS73b/fXlmZdO/8+bBZuv7lsmTgQPTPzMQvFRUJSRoiSRKGDx+O4vze2L5qBwYtHQSH26EGPoY2uBkAxafgxTNexJ5v9qBH/x445alT4ExyBgU0kP7Dx6UEaX7418Q30NKjoLX20lr/YphvGfoQGMeuBb43KbrHd4PHdl441617CqtX3wGAkJMzHMuWPR04TsizAoOi+LBr9/9AVI1p06bBbu84WQRFy1MQFiKy762p+VNOcjIuGjs20dVpN54sKYFPUajI5Xo+EcfPycnBzGNmYt9X+7H3231grLmFGdAWFvzv4OaDGHf+OFz27WWwpdnx6f2fGrY8A61PP5rUR/VGKFxsaCCFXSCVXcu8oS1yiVJzirlgC1UTUC00iVu0952aeJaXf4+PProVZ5/9IX7zmw2YP+/uYBA+tPNU/66tO4gtW9/EoMFHYcSIEa3Jo9BmdJyaCDocxW73vxt8PssDCxZ0qIu2rZlQWIgJBQUoq6qaZ5Xlnu15bCKC3W7H3LlzkawkY/uqHfA1+lVl0aSzGVehC0WTi8DAMOrXI7Ht0+3Bx3d/SHC8EuwYCgTRN4tmI6RgHlCjHKIhCzUvjQQ0StwjPDgBVcOS9MKpKMBPP32IoUOPR1JSFhgDnEkZIYIJ9SwZY9h/4AdUVPyIOXNmo2fPdv0potJ97ghBTBCRa5fHc26/jAyUDh7cLoc0adcW12yL3nhtBFVOcvJbbXC8iBARBgwYgCkTpuDnd37G4V8qWgTPai1PEN8OZQCxoHDyoUtaIH1AOJsTJbcUTgpJStxg8MmLqCae2hQa/Bh2LaZTC00Kdg6xwCsIfrgnjyaijU0e/PjjK8jtmYpjjjkGVqu1Q+VSEOIpMKTI5XrOpyj0REmJfpM+JjPcCCB9TGa0dDhm7PgyI4080mc7C4efswmx65eZiYX9+2N3dfWodKdzaKSKtwUulwsnnXQSLIct2Pz6ZvgafOqjbejpVO2swo7Pd4IB2PD8BvSaUhzsjddGC/Exm9pcR5pwNi/aoztCWqDhhDPY6pSARhlokgKLV9KloNP3qjOgT99j8d13L6Ku9hAAoK7ucIt3nYwxlJd/jV27VmHRovkYOHBg2zm7lQjxFLTAKss9d3k888fn52NSURG/iRcZyWCdkV2kpoIfLcvjy+DttLL08Z5KBDve1m+wD59PWAttCpb3yOLFkIngtFjejnAOcYeIIEkSjj76aEyfPB1bX9uKQ1sPtfA0A0OPQT2w/slvcO/wf6PucD2Ovmg81wnU3BnkA0GbisMLGU3q0gg5KJ5mH92Dcwup4tkkAU0y4JXVCd4kXQZ5hHY2ZecMwfTpf8Bjj03HffeNwDvvXtF8Tur5NTZW4YcfXkRubhJKS0vhdDo7VKsTAIjp28yCbk9BWtpXu6urR2/6zW/YgKwsLQYzWkZ3wFysJi+qkew1EZMQuP/CZZ3XJoUjE3YymiUo0nGDU4ac//rr9MjXX6NnSsqc8urq98LsE08CbzcZg6Io+OCDD3Dxby9G9vxsTLtxGhwuB0DE/RDE/adNriFDggyCFRKskGCDDAckOCAjCRKSISMFMpIhIQkynJBgV221SToomNlIO46Who75AcULKE2AvwFQ6gB/bWBRagF/XWBRGgI2ShOg+ADmC8R7MkVdVJXXXueqJw5F8eHHH1/Fp5/eiAsvPAVXX321Xjw7hIqKlqcghAync8ju6urRC/v3x4AeWfwQSTMXrJnriRfhSPZG8xUZYTRfUSS7SMKpPy7dOWcO7LKMBp/vhfZMGsK3PksWlGDbW9uw6/NdYH7G9Uw3V4cFk9MFlkDCueYkdIEZNC3wBRcZXsjwQuLegbaM89QvQRviHtNlwGsBfOriV6cc1mbRVCQE5zkKTOHBvX8J8WhgrcezGxs2PIFBgwpx/PHHd8hWJyDEU6DDKstvysbJP+KJ2ccdMxmVYikvFlsGACl2O66dMgUVDQ3pRS7XWTEcJy64XC6cffbZGNprKNbduw4HNh3UdUsHxBI68eSFU4EFft3ihUUVz4CAeg0ENCRAnvuuTR/spWbx9MmceFoAxWIgoKqIanPNhXaABahvqMBXXz8MxnbioosuQP/+/dvBy61DiKcgSM/U1OP219YWnzlyJHJSUxJdnQ7DDdOmIc1mw+H6+nuJKNqkdXFDa23169cPF55/IXw/+fD1I1+h9mAdAL71yQuoluJYhpZXXuEWP6zwwQI/ZPghc+9BteGY1HIYpvY3hQpo8P2mHBDM4GIFFGtAQBUZYNqiCiikZgFFUEwZfP5GbN26Elu3vITS0vmYPXs2LBZLh2x1AkI8BSpERI0+339tsox/zZub6Op0KKyyjL/PmoWapiZnL5frxvY8NhHBYrFg1qxZOHHZidj++nZsfG4jvPV+gDWLpiacCCucVvhh5UQ08OgeEE/ilpZJQUIShJBu0eZpVwU0KJoWgFkBZlEXVUDBCWiziDIwpqB89zr874s7MWJEX5xzzjlIS0trT1fHjBBPAQCg0JV2ekVDQ8Y1kycjtQMNgesonD9mDHJTUrC3puYPRORoz2MTEVJTU3HJxZfgxEUn4sdnfsDWN7fA16AJaOgsRtoUcM2LNbgoQQGVg4/1mmjGsmjzr/sl7vFcVoXT2rzwAgpOQEOEEwr2H9iItWvvxIABWfjTn/4YzNvZUVudgBBPAQLJPyrqGx5Itdlw4/Rpia4OT4e5cyRJwkMLF6LR77cUu933JaIO+fn5uPzyyzEsbxhW/+UTbHptkyqgkiqg0YSTf3yX1SUwDZw/uGihTaFp8FqkxuNCkRSJE06+1ckt4AQU6iM8ZAZGCvbt+xYffXAD/P4tuPLKy3H00UdDluUOLZyAEE8BgGK3+4aapibn32cdF5r8I/BSTeu0iRbkrm2P1snjh7l0cdqUGdHsovWe64mlzJBzWTxwIAZkZmKXx3MWEbliOOYRowlJUVERfn/97zEoeyA+u+UTbFrxI3z1foDJ4KeAgyqczRMQa0IaaHWyYMuTuAVBAQ3JHq/7W9FEk5o7gzQBZbxw6r5rE8kzGQHhhIK9+zbgo/+7ET7fVlx91e8wffr0TiGcgBDPbg8R2ffV1PwxJyUFF2jJPwKxJHzAeSTCBcOb7Sk3EmV9kD0LY6efriPcyCO/gZ2RgOrPuYXNk6Wl8CkKDcjMXGGwf5tCRJBlGePGjcNfb/0rhvQcgk9v+Rg/vvo9vHV+9cViQCgRnLmdXzQRlblQpmbhbJFPM8LfwSFcWggS3zGktTK5Vif4x3cLg0J+7N27Hh+9dyMU/0/4/fXX4le/+hWSkpI6hXACQjy7PcVu9731Pp/84MIFTJIkxUBStCtZ62XW7hvAeMSR0cgjXuS0cozuEF68+F5t3pbp7CSdnWbL11Mf4B9u5JEePjbUDwDjCwrYxIICbDl0aIZVlvMi7NsmaAI6duxY3HrLLRjbZzS+vOMzfP3IF6jZUwsWFFBOtULEU+aWwOO+EgxtahZRfQo6fY5NBk44JW5RG75aq5MXTlgYYGHw+uvw0+a38fG7NyDJthc3/OF6nHTSiUhOTu40wgmIEUbdGiJyWSSpok96Om2+/FLAb2qEEBC4d2K5ys3axzpCKR52Zs85aPfToUPo/+9/o2dq6vrdHs8oE/vGgqkbUhuBtGPHDjz00EN4+qVnkTf7KIw9/zhkD+sLyZIEwA6QAwQHACcAR2Ad7CDYgKDABkYVNf+bQgY14dapC9OapGoXPfOiRS47FhzXycAaGGr27cH3a17E+k8ewZiRffH766/D6NGj4XA4YhHODqGwouXZjSlyuZ73KQo9uaxEa+u1eM8Xhlgv3ngJJ9D8zjQexwS4aThM2DEAOCozE4sGDEB5dfXIdKdzmMnjxBVtBFLv3r1xxRVX4IIzzkP16r1474oXsPWtDag/XA+mNv+0Vmewt0Z9ZNcWQBuhBHMLF+CuBb0Hw4+0DiGLrrWp1GPPzq/x8Yqb8O3qf2PmtFG49Za/YMKECbEKZ4dBtDy7KVZZ7ulXlPLxhQX4/AJ1tt3Aw6lZEYs3scxhZDalvdkWr9kyg+Xtr6lB3j//icykpJ37amp6mayPGWK6IbX7t6amBp988gkeevghfLX5W+ROG4wx55Wgx+ABsDpdADkAsgOwtWh1aoLaIn+8UctTW89nHwnO1Aaw4JAkBjQC/hovqnftxg//9zJ++PB5ZLssOPP0X+P4449HTk4OJElqjXB2CKUV4tlNKUhL+7q8unrU5ssvRb+szMBKIZ4xlXfBG2/g4a++infSkFbdkIwx+P1+7Ny5E8899xye/e/zqLH6UTxnEgYtnY2sQYNhTUpDIETVCpDWqSSjeeINzf0xiKcCMD6eyauKZq0Xnp278POqd7Hp/5aj6cB2zJg6CRdecAFGjx4dnE6jlS1OIZ6CxJDudA6tbGj4btGA/nj9tFOaNwjxjKm8msZGZN1+O5xWa0VlQ0Mmi8/N1OoytMPX1tbim2++wSuvvIL3Pvw/eGSGXrOmoPcxU9Bz9Gg40ntAtjoQbHmSwftOtSbNMWUG4skQSLOkCidr8qPJU4eDP25C2eef4acP3oR3fxnGjhyOk048EdOnT0ePHj1AREf6mC7EU5AYclJSth+qq+u1+5orQ8ewC/GMubybPvoIf161CkUu13k7KisfNVmvaMc4sgJYIJlwbW0tvvvuu4CIfvABDtXVwD10IAqnTELBhPFIL+4Duzsdss0BSbagZfBChBoqAFMUKE0+NFZVo3bPPuz5+mvs+HQ19n71BezeBowdNRInnnACpkyZgqysLMhyIHghDu83hXgK2p/8tLTZ5dXV7543djQeLuEyJwWEM9Ze9Hhi9tht0duuD2UKV14LG6/fj6zbb4efsYbapqYUxli0wQTRiMsNqd3Xmoj+/PPP+PTTT/HWypXY/PPPaJAlOHvmInvEcGQPGYqMo46C3eVCal4+JFl7jAckiwWK3w8tkxMDQ8PhCtTs3Yu6Awex95v12PftBlTv3AlUe1CYm4PpU6di7ty5GDx4MDIyMuIpmhpCPAXtCxFRhtN5uLapyX3w99cgRRvD3tziBJqFJFxLkE8+rP1tlGmIX6895BmVxycf1gTK6ObQtmlhhtFyjGoiFikLkj5ONdw5630Tcs4PffklLnzzTfRNT7/1p8OHb4hwPDPE/YbU7nGv14vDhw9j8+bNWLt2Lb7/4Qds3rIFVXW18NTXA3YHkvPyQJIEEEAkwZGejiaPB36fD1qa94bDh+E9fBgOqxUZKSnIy83F0CFDMH78eAwfPhw5OTkhOTjboCddiKegfemV7j57Z2XVYzfMmMb+ctxMUh+//OqYPn3LSi+KmrDoBYbP0B7r/lq3QzTx5bPK8+j3D9eK1It3JMHnRZkX9rDn5lcUVnjnnVTR0OBv8PlSGGMNBmWbpc1uSL416vP5UF9fj8rKSpSXl2P79u349ttvsWPHjuaRDYqCAwcOID09HTarFVBFMC01FePHj0deXh769euH1NRUpKWlwWq1BmdZbePQIyGegvaDiOQUm61aIjgP/P4a2CSL1jaLNHUFENrii/RCLJzQhLOLhr7lGq5MvrxIZfNlRDtnozpEKlN5Y9MmafELL6DY7X5iW0XFWSbKFnRyRJB8N6F3uvvGmqYm59/nzYLNbtF++XCtPh5NcKJdK7o4l4h2Zv7FltFyrHm48sK1THliFc6YfLNo4EAMyMrCLo/nDCJymyhf0MkR4tkNICJHeXX1H3JTU3D+0WP4TR39saOj1y+Ep0pK4FMUKnK5/pvougjaHiGe3YDidPd9jT6/5aHShcF3Uh2Bc197DT/s32/a/qn16zH0vvsw5L77MPjee3HHZ59hw969GPnAA8GTev6775B0yy3w+gON1u/27cPw+++Pf+UNOLqgAJMKC1FWVTXbKsv57XJQQcLoOHeSoE0gIteuKs9ZA7IysXjwwERXJ4RHlyzB4OxsU7Zvb92Ku9auxXunnYbvL7kEX19wAVwOB4ZlZ2NHVRWqGxsBAGvKyjAwKwvf7NkT/Hty6NzzbcpTJSUAgOzk5Lfa7aCChCDEs4tT5Hb916co9OSJpe163JLnn8eYhx7CkPvuw8NffmloM+Pxx/Hl7t3wKwrOfPVVDL3vPgy7/3786/PPW9j+bfVq3DF7NvLUeW0cVivOGzMGkiRhXF4evti1CwDwVXk5Ljn6aKwpKwMQEM9JhYVtdJYt6ZuZicWBpCEjEpU0RNA+CPHswhDRjJ2VVXMmFhVgfFGBoUlbHfs/S5bgqwsuwJfnn497vvgCh+rqwtqu37sXu6ursfGSS/DdxRfjrJEjtU3B63Pj/v0Yk2ecPnNiYSFbU1aG2qYmSESYUVwcIp6TQ8WzzcNcHl60CABQ19T0eXvO9S5oX4R4dmEIeB8Afj1yePNKBsAHBi+AwO9vZkRMuAzteptg0Pk9X3yBEQ88gAmPPooyjwdbDx3S7LRYzCB90tPxS0UFLl25Eu9s3Yq0QPA+bxep48g/paiI1pSV4Yvdu5Vx+fnom5GBnw4fxoHaWtQ0NaFPRoZWnplz1gfNmyHELjslBS67HU2KkmyTpAdMliHoZAjx7KI4053DmDpe+x+r1wRWKgCaoMAXIkZ8QDgPP3UFH3iuFx6/zoY+3rYN//fLL/j8nHOw4aKLMCo3F/U+Hz9KJwgDlHSnExsuvBAziotx37p1OPf11/V1Y0Oys/FVebnhuU4oKMC68nJ8umMHJhQUMAAoSEvDCxs3ao/s/EiiSOin9eDX68/ZyId+ANh84ACq1HewdnvaKaL12TUR4tlFkW3ym5JMGNkrD9srKvHsl98paALU7Lf8766fNsNIMIEYHnerGhvhdjpZks2GTQcOYK36PjJcOQdra+FnjC0bPJjdfMwxyteBzp6QOl4/ZQquef997Kmu9gNQGnw+ds/atQAgp9rtKExLw5MbNkiTCgsJAJtQWMjuWrtWE0/9tB76KUV4YT9i35S8shIAMGzor1h1fWWqy1V0jrGnBJ0Zs9lpBJ2I1LzU2bX7a4vGnD8GU6+bgg197sZvV66UTh06DAgvgvqA8HD/sOrtWgSSzz3qKDz45Zc0/P77MSArCxMKCkBhyiNA2l1djbNWrCAlMNqN/nbccS3s5vfvj321tZj11FOyNqzn7FHNM2BMLirCa5s2odDlAgCaWFDA/vDBB9E6i/QB+0fsmw+3l2HT3m3IzByAktKnaMvWlairO/RvIno8DklDBB0IMTyzi0FE5HA7DnnrvenXHLwG9hQ73jzmOXz58RbcPmsWrp48OVoRIiXdEZTX+667sb2yAuedtw75+WPx5ZeP4M03z4fb3fuWiopfbjRxDEEnQTy2dzHSCtPObqhsSJ9y3RTYUwJZky65tRQyEW76+GP4/KLx01b897vvsL2yAgUF45GfH5jGecyYc5GS0hPV1eXXUyCNu6CLIMSzC0FEcv3h+nvtaXZM+8O04PqUNCfOGD1KqfN6cfV78ZotQqDnN2+/DQJwwrLnguuICAsXPgS/v1F2u4sfTFztBPFGiGcXwl3s/pO31uuYdfssyNbQ13T3LJqv2GUZ965bh7qmpgTVsOvyz88+w8G6OszrNwDp6aHzwQ0cuAhZWQNRVVV2ukga0nUQ4tlFICJH9Z7q61N6pmD0eaNbbLdZLLhuyhT4FAVnv/ZaAmrYdVEUBX/6+GPIRHhi6fGGNiUlT4IxP7lcRS+2c/UEbYQQzy6Cu9j9gL/Rb1n4UMvkH412KAAsf5w+HS67HS/98AP2VlcbFaMlA46GFtoTrbcxmFfXRJlmg9ItJo7LHzsaCsx1FoWdL/7q999HrdeL00eOwkbnsYoScGHI8QsKjkZh4SRUVZXNkmWrSBrSBRDi2QUgIrdnl+eMrAFZGLgoJPkHA4CfjgJeLQEakyTcNme2X2EMpy5fHqnISCOKmEk7PuA8UpC6X2cXDr6nK5K9UX2M1hntG/Noq7qmJvz7iy9gky0YvOBt9hmmQNXYFr4pKXkKAJCWViBePHcBhHh2AVxFrv8qPoVKnizhBaFZvAjSj0OAuy4Hxp47Bj1TU/Hhtm348cCBULvmeEbSlQOEjiTSrhv9XEbh7LQZxRi33SjgnM8cH6kVqg9eh8HffLl6O/6cje4BbRsv7Ia+OfP1lfAqCiZNvga1lmzyw8r7hp/2A5mZfZWBA5egsnL7YKczXSQN6eQI8ezkyFY5v6qsanbhpEIUjC9onmY79OYFADTZgbcWQT7+/sCsmSe//LK2yehx1Oy1ES7u0Wg9vy6SeOmFDzDO6q6fBE4/kkiDF2/Nzui4vHjr66E/LnZUN+Dl77+F3Z6GaTP+YmDWArZw4UMgkiHLNpGyrpMjxLOTk5wdyBtZ8lSJtkqb3TEsmb/uh7w+Wdiwbx8+3rbN7PQa0aakkHWfkezCzaTJQwgEr5sJcjebwEPzjZmpQqIG7Z+x/BWJMQWzZv0jWpLpoG9SUrIxevS5qK3dX5iWVjDPZL0FHRAhnp0YZ7pzWHV59YgBiwcgs29mTPteeOdSAMCZK1a0Qc26Pj8eOIBV27YiNaUnxo49P6Z958z5J2TZDq+39jmRNKTzIsSzEyPb5DdJJix6eFHM+xYPzcOEogLsqKrC89991wa169qc8sorAICSxbFnnLPZkjF16u/R0FDpdrl6nRfvugnaByGenZTUvNQ5tftri0afOxop2SmtKuPpXx3vJwCXrlwZ38p1cT7Zvh3r9+5Fv8xsDOjfuifvqVOvh93uQl3dwbuJyMxsnoIOhhDPTggRka/e94JslzHnn3NaXU6h243FAwbgUH09bv/00zjWsGtzhvqq45Glp7S6DFm2YvbsO+D11jrc7t5/jlPVBO2IEM9OiKvIdW5DZYN76u+nwpZsMzIx9bsSg/RUaSBpyJ9XrWrPpCFm3/MdaY9/3Mt8/rvvsL2yEhMLCtAnfwj8R5DVcfToc5Camofq6vLriMjZ6oIECUGIZyeDiOS6Q3X32F12TL1+qn4zH5cYqQfav6sA2J0P5kxxsHNHj0ad14srWyYNUXSf4dAfMx4jj/gyIqk6f8xIdqZ9w5XX4jwuXbkSBODSZbcrT+IMsCPwjUga0rkR4tnJcBe7/6wm/2Bc8g99XCIfn2h4czfZgadOh7R8Kei20nlwWCy4f9061KjTRyBUPPigdH15RgHnRnb6aT30x+DtNJtI1yef/T3SOUfyTSSxbTEA4B+ffYZD9fUY3H8u+zn9ePhhBSC1xjfBcx4wYCGysgbB49klkoZ0MoR4diLU5B/XpfRMwZhzx/BTQxgFnOuDzFuOJCJg0yDggass+PUJkxU1aQgvNvqODKMgdyOR4wP09SLHwwevR2rBRRp5xJdpNG1GJN9oGI2yCqHRr+CGj1eDSMbC0uf5kURGZUbzTYjIl5Y+qSiKDy5X0UtGxxZ0TIR4diLcxe4H/Y1+edHDi0ASaTdhtBYaLwaG7/Ga7EDeM9OlpBQ7Xv7hBwqTNERDOxbpPqPZR6qj0RDNcHb6co3QRNmMnf74hnaXvrcaTd4GjBp1FpxOdzi7VvkmP3+cVFg4GVVVZceJpCGdByGenQQicleVVZ2eNTALAxYOaE0REd/NSZKEZX+eA4bmGMZ2JpYsSPEmYk9ZXVMTHl/3CSyyHfPn39cGhwdKSwNJQ5KTs0XcWCdBiGcnwVXkepH5GZU+Vdpmx5h88mjkpaXio+3b8f2+fW12nM7GOa+/Dp/ix7QpVzKLxTC64YjJyOiDgQNLUF1dPjwpKWtkmxxEEFeEeHYC1OQfswonFyJ/XNs+1d1fulgBgFMip6zrNuytrsaL33+PVLsDM6ff0KbHWrQokDREkqQ32vRAgrggxLMTkJydvBIA2rLVqTF3QD8MysrCt/v24cNffmnz43V0Tl2+HApjuGn2smjJP46Y5OQeGDPmfNTWHihISyuY36YHExwxQjw7OA63Y3h1efXwgSUDkdEno12O+dyyZQDQnabrMOzY+fHAAXy4bRvyUlNxypioUzbHhdmz/wGLxQGvt/ZZkTSkYyPEs4MTTP7xUOzJPzgYTExfUZsMhRik4Xk9lcmFhdhRVYVnv/3WyFSf+Dgc2vZonTxa+rd4T8NhRnwYmtPkhaDlO/3X4lPwOhYrTbCRiToekW90SUNiS9ckaFeEeHZgUnumzqs7UFc45rwxSO6RzG/iA86B8KNr+IBzzS7sNBXVaaD7LgG2F4M9ddIyRgAue/tt3k4f5B4rRqLHr4sU2K8gNGYUMD5nLWYz2jlH9M3H27Zhw759KMoqwtZ+/8Ye9NRMw00pYjZaIBzB/adMuQ52uwv19YfuEUlDOi5CPDsoRES+Bt9zFocFs++Yra0Ol+E86ogiFaNpM0KmrvC4gKdPh/zFOW5aMHgADtfX47bVq7Vy9QHnRsHrRlNXGI2uMRpJZDTySDGwM8JIhPXfTfvm1yveBADMX/qi3xc6kshoShGjIPtW+0aWrf45c/6JpqYam9vd21SKekH7I8Szg+Iqcp2nS/7Bi4PR76YXIMA44FzfajScumLLQGDUqlLIEuHmVavg9fsjiVc4ITeqo5kActlgu5G9ftoM7RhGxw23b4tj3P/dDuyuOoTCwknIzRsfruXHn2c035DBd6M6Bu1GjTpbSxpyjUga0jER4tkBUZN/3G132THluinaagXmHpejTsOhIkezk7McGH/GaNT7fLjy3XfjMZJIw8w0HEBgGg6z5ZnxjQQTvvnDyhdlgLBs2fNmyoOJY5sZ7aShAJCICIsWPaIlDXnYxH6CdkaIZwfEVey62Vvrdcy+Yza45B8JofT2+XBYLHjgyy/5pCFdlts//RSV9bUYNGABc7uLElqX/v3nIytrEKqqyk4lovSEVkbQAiGeHQwictbsqbk2NS8Vo88ZnejqwGKRce2MqfApCs7q4qFLPr8ff161CjJJOKH0P0faARQXSkufAmN+EklDOh5CPDsYWvKPhQ8vREcJ87tu+lS4HQ688sMPKPd4El2dNuPK995DndeLE0ZNhcORlujqAADy88eiqGgKqqrKjpUkS0Gi6yNoRohnB4KI0qvKqk7LGpSFAQtalfyjTZAkCXfOnp3IpCFtTk1jI+5ftw4OWcaf5/860dUJoaTkSQBASkqOSBrSgRDi2YFwFbleipD8Q4L54HCzv2tUO0aApABnjR6N/NRUrNqxAxuPPGmI2Sa12Re+WuhQNML65tzXX4dPUXDtlCnYZekHb8t8ne1Fi+NmZPTBoEGlqK4uH5aUlDUqEZUStESIZwdBskgFVWVVxxZNKUL+WMPkH1osYSSR0LabGdHDlxWuTL/HBfbBTLAmK/DIYjVpSMvWp74HO1yPNj8VRaRpM/h68cHx4dBsWuUbLflHmt2BntOfUtZgImOgaFOKaDGb0ab2iItvFi4MJA0hEklDOgpCPDsIKbkpbwNAyRMl/E2oD6o2CnLnv2vxhuEyr+uzuoebQiIkGH/tJNC9vwH6z+nHBvXoge/2729N0hB9EDsf88hv0wfjt8i8rqL3DR8bGpNvTn5lORiAmXPuxl6pgPywEUCmfKM7h9Z2MkXyjQIAyclZGDv2fFZXdyDf5Spc2MrjCOKIEM8OQFJW0qjq3dVDB5UOQkbfDKMbqbWE21e/nhcow6krqtOAZ06D/OuHlgKA1vMebuoKXqCiTUlhxs5IZOPim7X76vDx9m1ITc3DyNHnA5CMfGNUT30d+ZFHvF3cfDNr1u2wWBxoaqp5RiQNSTxCPDsAJNHrJBMWPrQQCA1eNzu9RqR3g1oZ/ijlmZriwlvaE8UTi7CzqgrPbNhgJjjcbPC6mXHzsfqGIYpvzlz+AgBg8eJHo9cy+nGBli3HaHbRCCYtsdlSaNq0G9DQUOlyu4svNLGvoA0R4plg0vLTFtQdqCsYc8EYJGcFk3+0RYyh2TKj2p30zDIQgN++886R1ah1xM03H/7yCzbv24keWQNYv37z4lVsWxA858mTr4Xd7kJt7YF/EVHrJ40XHDFCPBMIEZG3zvusxWHB7NtnR9+hg+DKd2HJoIF80pBOiZav9MRlT5kZztohkGUL5sz5F7zeWrvbXSyShiQQIZ4JxFXkuqChssE19Q/B5B+dhv+UlsAiSbh51Sr4/J1Ge4I8++232FFVhVGFA5DXc2SiqxMTo0adidTUfFRXl18tkoYkDiGeCYKILHWH6v6lS/7RaUhzOHDe6EDSkN+9+26iqxMzl739NgjAP5ZdluiqxAwRYfHiR+D3N8lud/Ejia5Pd0WIZ4JwF7v/4q31Oub8cw5kS7sk/zDbO2u6F/eeefPgsFjwYPsmDTniXubbVq/G4fp6LBkwAJnunmDo8D3XLerXr9889OgxGFVVZaeIpCGJQYhnAiAiZ/We6qtT81Ix6uwWA0b8CEw1AUTuHDGK34xE1BR0aE7tFtHOawU7mAkwu6zcMG0afIqCM1esMDLlEy5HIlokAG9nlMNTDx/PGuIbn9+Pm1etgkyEK0tvxEosgA+WWHxjJmCf/wzHEfumpCSYNKRrjpnt4AjxTACZAzIf9zf65cWPLo6W/CPcaCH9DRcuQNvM6BygOeBcn6hYX6YfAJgEeuhC4MOZoCuPmQK3w4HlP/6IXVVV/HH5csJNmxFuOgszL1Fb5Zsr3n0X9T4fJo3+NVvlOIF5YUOUxqzeN+GOow+hCpfZ/0h9EywvP38Mioqmoqqq7BirNSmx+fO6IUI82xkiSj/80+ETewzugX7z+gHNYmEUVK0fXWM0dYW2D38Thpu6Qj+6Jty0HkZB4SEwCVg7EXT/ZRKuPW2OnyEwTa9un0jXl9HUFfq6aOcczTd+mPBNZaPXf/+XX8FicWDG/MfgC0zoxttp9T8i33D76e2iZbzXiOQb3sZfUvIEAwCnM/2tCOUJ2gAhnu1MWmHay8zPqOSpEn41LwR6zEz1EK4sM2Vq+0QrCzAIOK9OAxofHiVn5Kbhk0DSEMNpPQz2j3Q+ks4m2nnwo4DCcsJrH0p+xY8pU66HLFsjlckLZqt9w6038xu2yjcZGX1o0KClqK4uH5qUlJn4BLDdCCGe7YhkkQo9uzwzi6YWIX9MMPmH2ek1YpmGw8yjuqkpKcyy4KklAEynrDM7bYbfpF3U8so9Hnzww1pyOFyYNu2GaOWZ9WFbYPZ3Dvpm0SItaYj8epvWTBCCEM92JCUnZSUAlDxZkuCaxJ++s/pisJo05IOff050dVpw6vLlYGCYN/sffknqWpd9UlImxo69EGrSkEWJrk93oWtdRR2YpMyk0dXl1UMHLR2EjN4Zia5Om/Ds8csAoMNN17Fx3z58vH07slMzMXr0WYmuTpsgkoa0P0I82wmSA8k/Fj3UdRsGw3NzMbWoCGUeD55avz7R1QmivUq4cfGlCa5J22GzJWHatBvR0FCZ5nL1uijR9ekOCPFsB1LzUhfWHajLH3vhWCRlJiW6Om3Kc8sCSUMuf+cdKEqiXhs28+Evv+C7/fsxuEcPTOzXtftTJk++Bg6HG3V1B+4USUPaHiGebYya/OMZi8OCWbfPMjIxO72GWTsF5ucHNzO0yXQWI58MFLhcKB04EBUNDfj7p5+GMzU7bUYwHVsUwpanvUJ4dOnJWI+RzA/Z9NzpJuxizfAUz9+5hW+ak4bU2d3u4ltjrJsgRoR4tjEZ/TJ+01jV6Jp2wzTYkkKSf/BxiZGaaPz0DJGmhjCKJYxULm8XaToM/ZQY4erIHj8bOJgJ5eHjSxSLJOEvn3yiTxrCx2xGmjaD36nVvnlmwwbsrKrCyKJB+Ljn7diFPDOjsvTxm2Z9E2l6DTM+1J9zq3wzcuQZSEsrQHX1nquIqGs/5iQYIZ5tCBFZqsur/+FwOzD5msmRwoL4AG3eTh9UHWl6DT6oOtzUEOECzvUYBZzznRD6eXsIAO3tCdx/MaQvFjro3HFjUO/zaTk/jQLOw02bwcPHjIabDgMI45tL33kXAGHWsreUJtgByDKax7HrfaP5MFKcKl9XvW/0o7L4uvIxo/qRR0Yi2WrfEBEWLXqE+f2NkttdbDrDsyB2hHi2Ie5i9y3eWq999p2zIVuD92Mk8dKPZgkXLK0P0A5nJxvYGfXEmhkvrh2Xt2uR/Z1JwLrxoOK358JuteDhr75CZUODmRFHfHnhfKP/O6xvrl79Ayrr6zBw4BKW7OodyTf6qT2M7IDW+ybalCJm/jGLZhdS73795lKPHkNQVVX2KyLqmqEdHQAhnm0EETmry6uvSs1PxagzRwGBi95MALQEwGfmEGG+h8NM8g1NTKLdyFo5Ye0a0mVM/nMgacg5K1ZEO24svoka2O/z++nfq16DJFlQUvKkmekw2tU3uu1mfGNmsEDIdVNaKpKGtDVCPNsId7H7EX+TX178SNTkH+1F3KbhMMuUa6cg3enAq5s28UlDjpSo9fvdu++i0deI0aPPZQ5HWlzK7Gzk5Y1Gr17TUFVVNsNmS+6V6Pp0RYR4tgFElFFVVnVKjyHB5B/dEkmS8I8Fc8FgetjmEVPT2IgHv/wSNosN8+bd3S7H7KiUlDwJAHA4XCJpSBsgxLMN0JJ/lD5VmuiqJJxfjx6JwrQ0rN65E9/u3dvmxztzxQr4FAWnTz0Fsty9Qx3T04sxePDxqK7eMyQpKXNMouvT1RDiGWfU5B/H9JrWC3mj8xJdnQ7BY0tiShrSaso9Hiz/8Ue4HQ6cNvXkNj1WZ2HhwgcgSRaRNKQNEOIZZ5KzkyMl/zD78rMtfhezZcb9Be2svn0xNDsb3x84gPfDJw054mlCTnnlFTAAd82dC4+UEUORifNNnI/b4jwCSUMuQl3dgby0tILFca5Xt0aIZxxJykwaU7OnZujg4wcjvbjFtDJmg9f5ntVIPcv+MN/D2ZkNxgfMdaCYslk3DorXAjyzdCkDgHOMk4aYnVKE7xUPOeeN+/Zh1Y4dyE9zwTnyFv96jACiTyli1jd8WFHcfIPIsZ4afBRCtN/P8Lo57rjbYLE40dRU87RIGhI/hHjGEdkur5QsEhY+sJBfzd+gRoHmGtqNESn5r9F+WtnhtvE24W5CfaxjOPHWZ1jX9tXbBaeu+OA4SI+dA/QcmsumFPdCmceDJ5uThvBTV4QLXufrGy5OFSerrwRmL3kOmzAQflg103j4xijI/0h8o9nwsaH64xpdN5F8wx83BC1pSGNjVZrbXXyJkY0gdoR4xom0grTFNXtqssdeOJapyT8itRL0U0job1AN/QiScNMz6G/CaNM4MITesNGy1IebkkK/ztBuXy7wwMWQzr1nKdOShvjDJw3Rj64JN3VF0Dev/rxf2bh/P7J7DEavvvPBILenbyIJezjf6DEaeaSvl1bfmHyjlqdMnnyV4nCko7Z2/x0iaUh8EOIZB4iImmqanrY4LTju78fxQ/EAc0HV0YYEajdhtOkmtO1hW2hcnaLZaHba8flPo+Py21vWkYDti1w0dMkgVDY04LZA0hCzvol0znTBa69IALB02fPRymoL3xgNX9Ufl98e7lxivW74ayKqjSxbpblztaQhvf8WpWyBCYR4xgFXL9fFjVWNadNuDEn+YTbw2mzetljyu7VFmXFh4TMlsEgSbmmZNMSIqAZPrV+PA559KCqaitzc4WaqYPacExU432a/3YgRp6tJQ3b/TiQNOXKEeB4hRGSpO1D3T4fbgclXT050dTo89hQ7zpo4hjX4fLjs7bePqCxFUXD5O++AQFi27Lk41bDrQkRYvPhR+P1Nsttd/Fii69PZEeJ5hLiL3bd667z2Of+aA9liJj2m4LbFc+G0WPDI11/D09DQ6nL+/umnqGhowMSB05jLVRDHGnZdjjpqDrKzh6KqquwkkTTkyBDieQQQUVJ1efWVaQVpGHnGyERXp9Ngscj44/Tp8CkKzlyxolVl+Px+/OWTT2CRJPyu5IYuNza9LWlOGlK4PNF16cwI8TwC3MXuR/1NfnnRI4s6SvKPTsN1U6ciw+nEik2bsLOyMub9f/vOO6j3+XD+mDFIdqTEv4JdmJ49R6FXr+moqto13WZLLk50fTorQjxbiZr841fZQ7PRb26L5B9aUl0zL/W1dGzRMDs9g5m0aUCgM8asHRC9joruMxzMkwbySVDunhtIGnLq8rANIAsMztnT0ICHv/oKTosFl8+9AOsxkgBmdooSs+dsxt+x+iZaBxhTj2vmejD0jVlKSp4AANjtImlIaxHi2Uoy+mW8GSb5h356Bv6Tx2iqBaObJhhwjsgjTfQ3ZripIfi4RO3vI+2BNjrnsHZPnQ58NRY4acwIFLlc+HTnTqzfs4e308cw8vXGWWryj8XTLlFelE9HExzEZYg3Omc+4FyrhxnfRJo2g7fTbI0wOyrJ6Ho40usGCK1j8JwDSUNOQE3NnsHJyT2ONlE/gQ4hnq3AlmwrPvzT4Ym9pvdCz1E9tQvSaOSI0RQSRkHVfCC3UZZ2/TuBaKNl9PsZCZvEfepFmRdU2cCOP2f91BVGU4qE+MZrA96ZB+nRc4E7TlusAMHWp5FvQoLXy6qq8OqmzXA43Bg45R/MB6uhE8IQL9/os8S3xjf61igfw2s08shoJJHRyCPTrVEtaQiAFWb3ETQjxLMV2F32twCg5IkSIHoAOWA85NLIXj9thravkR0QeqMYPY7qp4YIF1RtNArGzLURKZg8aqD5/hzgh3v6Sr36ZuOHAwfw9tat+nrzyABo/isfgoFh7ty7QJLV6JzbwzdmXnBH843Rd6M6mr0e9HZRfZOUlIFx4y5GXd3Bni5XUUmEeggMEOIZI84M59iaPTWDB58QTP6hby2EQ3sHasbnPpi/Qc1gdmoPs9NhmJ1CIvpoGQLmr1gGADj/jTcilvft3r3YuHMD0tIKMXLkGVEODYK5VlgsvtFaktHstHKjHdeMHcHcNCFAbNeNAjQnDWls9DwpkobEhhDPGJEs0msGyT8ER0DO0BxMPKoXdnk8ePzrr8PaaR1LS5aI+O54YbU6MX36H9HYWJXmchVfmuj6dCaEeMZAWkHakroDdXnjLh6HpAwxui2ePHjWMoUAXPHee1AMkoa8//PP2Lh/Pwp6HMX69p3V/hXswkyadBUcjnTU1e3/h0gaYh4hniZRk388ZXFacNxtxyW6Ol2OXHcalg0ejMqGBvx19eoW27U8oJcuuy3qeHdBbMiyBXPn3gWvt87mdve+LdH16SwI8TSJq5frN41VjWnT/zgdVmdMPbwCkzy+ZAkskoRbV68OSRry5Pr1KPN4MK1XLxTnDkxgDbsuI0achrS0QpE0JAaEeJpATf7xD0e6A5OumnRERZm0M/u7xBIkbXbgfUKuCUagFLsdF40diwafD5euXAmAT/4BPLn0BBxCptnzaAvfJKpDxexvEst1E3IuRIQlSx6D398kuVy9/hNT7bopQjxN4C52/81b57XP/ddcffIP/TQKZkaQRLPj4/WiTbvAYBw0zcMnW45mp5XL1yOcnbY9XB31cYcRffPOHLDaJLDb583x80lD/vbpp6hsaMCcQWPxiuuP7CCyFHU0kRnfRDtnxYQNX/dovtFvN+ubqKOyED6wX2/Tat/07TsL2dnD4PHsOomIMqPUqdsjxDMKRJRUvaf6irTCNIw4fQS/ib/wIrVIjIKq9bGDQGhQtT5pr6Kz08riE/zy2/h9+KS5WvhOpPmKIk0NwRNpdE24zPh6gr7Z3gfSXZeDvpkg48aZM+BnDKctX45bPvkEkiRjbMl7rAappMAiq6OJIvmGTxwdyTe8rVbvSAIVyTdG52wkzOHs9OivG6PAfiD0nPWJnGP2TWnpEwpjfrhcRa8a1EnAIcQzCq5erkf9jX5p8SOLteQfkaZn4IOQIwVVG92ERnaRbsJI8Pb6OupFT7PTP7qGm1cokt0R+cZnBd6bC9n19BS4k5x4fcsWNPh8GDPmAmaxp8fim0iCbTSSiN/PaGhmtHPWjyTS4IPXIwXjG/lGs9Uf18hOT6t907PnaBQXz0BVVdlUqzWpdwTbbo8QzwgQUaZnl+dX2cOycdSco7TVsY68aXGxVmyvwH1D79OX1aLcD//4IX7+v5+B5gBt7bshW9/eKj809iHcO+he+vfAf8vvXvUu6ivr8ffMv4OpeTPKPi/DTXSTVLWrCgDQUNUg3ZZxm2F4kO4czLzvM+sbo+9BDmQDR/91avDvuXPvjnRsOcz3cHYM0acyMfquhx9aG68BDbxNtDpGvR7QSt+UlDwJAHA43CJpSASEeEYgrTBtOfMzKn2ytDW7m20phrWbefNM9D2ur6ny9m3ch5W/WYmlzyzFb378jf/ijRcjvU86nG4nUnJTcODHAwCAsjVlyB2Vi7I1ZQCg7Fq7CwXjCyBJHetS2P5/2wEAmZkDIctRQw9jbZXH0y7emD1uW0yhogCA212EIUNORE3NnkEiaUh4OtYd04GwJll7e3Z5phXPKEbPUT3jXr7iU/DqGa/i/uH3y/89/r9oqmtqYfPqma/i+5e/BwC8f+370r2D78X9w+/Hu1e928L2s9s/w9Q/TEWPgT0AALJFxtEXB677wsmFmliibE0ZJv5uYsjfhZMK435+R0LlzkpseWsLnEkuXHrpj4muTrdkwYL7RdKQKAjxDIPD7Qgk/3iypE3KP7T5EMacPwYXf3ux355mx7r714W1rTtch00rNtEl31+Ci7+9GNNumNbCZv/G/cgbk2e4f+GkZvGs+KUCg08YjPIvywGo4jm5Y4nn8lOXAwyYe8ofzYw5F7QBgaQhl6hJQwpb9ejV1RHiaUByj+Sja/bUDBpy4hC4i9xtcoy0wjQUTS4CAAz/9XDs/HRnWFt7mh0WhwWvn/s6flj+A6xJsQXpF00uQtmaMlRsq4C72A2rwwowoLG6EeVflSP/6PwjOpd4smf9Huz8dCfSCtMwYtKyRFenW3PccX9Tk4ZUi6QhBgjxNGaFZJGw4P4FbXYA/bUY6dqULTLO++I8/6Blg7BpxSY8M/eZFjbZQ7JR/lW54f6Z/TLRUNGAzW9sRsHEwERpPcf0xPrH11N673TYU+xHcCbxZfmpavKPx5cAfqk73rBmz7ktfBNSptXqxIwZN6GxsSrV5ep1WRscr1MjxFOHq9BVWnewrue4SwyTf5idasKPKCnRqnZWoWxNmQJA3vj8RhRNKQpbWGN1I2vwNMj95/fH3LvmYu/6vS1sJl09Cav/uhoHtxwEAFnxK2zNnWuC2wsmFuCLu79A4cTAI3rhhEK29u61UuHEwmgdFGankDA7JUVY32x9dysO/HAA2UNz0Nd/oYLyPNlE/0m03nM9ZqY90coMa7dp0+tYvfpvZgdH+A8e3IJnnpmPu+8+CvfeOwgvvngiamr24cEHR2HPnvUBI7/Xf+utybRhw9PBk37ooTEoL2+RacrsdCL8SCIzHVEtfDNx4hVwOjNQV3fgdpE0JBThDA4iImeG8xmL04Lj/haS/CNcHk6z+TlbzBeUNSgL659cT29c+AYy+2Vi7IVjtbjC0JuCgTVVN7HnS54nX4Mv8C7wzrkthtflDs/1z/3XXOmVk18hb50XIFD/Bf2D24smF2Hryq3IG5PnByAXTCqgil8qUDipMFyOSq3O+m16e80HertovuEDtGUAeOPcNwAAy2a/zvC/0Qws6Apj3xhPm2EkplqOUr2dvs76cw47ymrgwMXywIGL9eeiL5MBIK+3np57bgHmzPknGzBgMQFQtm37SKqtPYDCwkkoK1uDnj1HYt++DcjMHICyss9pxIjT0NRU46+o+EXOzW0xOIMZ/G10zvq6mfFNyHkEkobcjVdfPc2WlTXoXwBE2joVYqbmzeoeuIvdv63aUXXXcX87jk25bop2oYW76IDQC0+7WI3sePE0ulj1duHEQkO7uPljRhIrLZmulljXqFz9McPZ8ceM5Bv+mFHP+ev7f8Drl7yIXsVTcdaZnxidg3Z+7eKb9eufwpo1d4CIkJMzHEuXPs37w//NN0/I5eVfYsGCe/H99y/h44//DEmSYbe7cPbZn2j1YACkr7/+D7Zv/xhLlz7V4pjffvss27r1bVq27Bl88cW/Ict2rF//BM49dw22bftQ+eSTW6UzzvgACP97hPON0T8OrfGNzBjDXXcVo6Zmr+L3N6UxxmrD2HcrRMtThYgs1iTr7c4MJyZeNVEfyB3u/ZJk0k5/0ZuxM9NqMxtUzdct3A2or384Oz5A2+w5R7RTFAXvXfUOAMKypS+EMYs5eL3Vvtm//3usXn0rzj77MyQnZ6Gu7rC+vBDfrFp1M0477V2kpeWjvr6CcWVSoLyNyMsbA6P9Cwsn4cMPbwQAlJWtwfTpf8LGjc+jsbEaZWWfS4WFk/XnZYSRb4zsW+MbEBEWL34MTz89S3K7ix8HcGKEfboN4p2nirvY/Xdvndc2519ztOQfsb6QN2Mfy2O+2REpZkf+mAn7ifieT3fcWIhov/qvq9FQ78HgwcuQlmYcbsURi2/M0MI327Z9iMGDj0dychaAQNgOQv/RCKGwcDJWrDgTX331CBhTYvJNenpv8vubUF29FwcPbkJW1gDk5Y3Drl1foKxsDQoLJwHmp+GIxTdmHjkltUz07XsccnKGo6qq7ASbLUUkDYEQTwAIJP8or748rTANI04bEX0HQdzw+/xYfetqSJIFS5Y8nujqAIA6lNW8Bi5a9CBmzrwFVVVlePDBkairOxSyPTt7CMrLvwq7f2HhRPzww8tISekJIkJBwQSUlX2G3bv/h4KCCa09jbhTUvIkGPPD6cwQSUMgxBMA4O7l/o+/yS8teWxJxJAhQfxZeelK+Bp8GDv1DGa3pyS6OgCAPn2OxfffvxgUQfWxPSyHD/+MgoLxmDnzZiQlZaGqqixk+7Bhp6CsbA22bGkeKr516zvYt+87AIGW69q1/0Jh4UT174nYsOEppKTkwul0x/HMjoyePUeiuPgYeDy7RNIQiHeeIKJMkumknOE56Durb/QdBHGjwdOArx/5GhanBXOW3sxQ0SaxizGTnT0E06b9AY8/Ph2SJCM3dxRKS58Ia//ee1fj8OGtYIyhT59joesdh9XqxCmnvIl33rkc77xzOSTJipyc4Zg3724AQFHRZLz77u9QUBAQz9TUnlAUv/bI3qEoKXkCd91VDIfDvRLAoETXJ5F0+952V5HrE0+ZZ+oF31yAniPjP4ZdRyxTD8f7HzazZZqt4xHzfOnz2LxiM477+3GYkvKsggPZ8faN2edvs2XG9jwfPyL1tPPE4ptWh9m9/PLJ2LjxBSQlZU2orT3whcnjdTm69WO7mvxjavExxe0hnIB5f/Mp6CJhNs9nLEHV7XJNVO6sxObXNsOZ4cSUs0qAqjRJzRAfjVh8Y4bWBJy3N2E7q3TE4ptWd3CKpCEBurV4OtOdbwNAyRMl+k1aVnf+byP49UbZxfV2mo2Z6RmiTa+BKGXxZfIiG85ePyVFuHPW16tVvnnllFcCAf9nX63g4fOBJru+nnqOxDeRyoynb/jrhkWx4+sQ6bj6uhqh9000jsg3Tmc6jj76N6irO5jrdhefYOJ4XZJuK57JPZLHV5dXDxh60lA++UekrO5A6EWqRz/qxggti7jmd/1NpJUroXmki/4m5IVDRmgiW/20C1oLQ0bob20kflrdwrVI9FNX6L9HEjPen8qe9XtQ9lkZXO5CjHDdyOCzAiACKNy0GZF8Y3TOQHTfaPWKp2/0SbDD+SZcHHE4sdQfP9z1oPlG27+11412TN43IeJ97LG3+q3WJDQ2Vj3eXZOGdFvxRGjyD/3FHWmaBP7TaHoGM3ZGaDeI0XozQftm7cKJgH6d/pz5/Y3+1rdQwg0MYK8seg8AsGTxE4DfcqS+0f8dyzmbtYuXb1gYOyOR1cQrGvw/xvoyjfxjtL8Z34QM1bVakzB9+k1oaKhMdruLLzexf5ejW4qnq9C1tO5gXe7RvzkaznQn0NyKieYPSfcZjnDD44zsoiWV0I7HtwjCwbdMzPy2Zt73aWXGxTdb394qH9y1DdnZw9Cnz8xIprH4JtLQWA3eN2ZEqS18Y+Z6MPtu06xvwgk2T6t8M2lSIGlIbe3+24gotjyJXYBuJ55ERI2exiesSVYc+9djE12dRNPuoRavn/c6AGDZsufNmHfHUBCz59wWvompTEmSMXfuPfB662xud+/b26A+HZpuJ56uXq7fNnoaU6ffNB1WZ7f7xzKhfP3Y16jeXY3ivlNYTs6QRFdHEAeGDz8FLlcveDy7LiOi5ETXpz3pVuJJRNa6A3V/d2Y4MemKjheA3JVRFAXvXvkuQMDSUx9NdHUEcYKIsGTJY1AUr+Ry9Xoi0fVpT7qVeGrJP+bePReS3K1OPeF8cssnaKxqxODjByPN1S4xtYJ2ok+fY5GTMxweT9nxsmzLSnR92otuoyBElFxdXv1bV5ELw08dbmgS70MmyK6tymw1viYfVv9tNSSLhCWPLQF8pgdPtcX12dHDahL527W6zNLSp8CYgpSU3G6TNKTbiKerl+s//ia/tPixxeGSf5gJMI4WyK1hdk5tPoVYpDL53vNIZfO9zpF6Y/n4QTN1PSLfvH3Z2/A3+DHuzGmwP/NbBQ12IzM9ifaN2fR8ibpuzJwz70MzvonWix/WN7m5I9C797HweHZNsVqT+kQoo8vQLcSTiLI8uzwn5gzPQd/jQpJ/8IHD4YKVgdAwId5Of6EZhRMZ3VxGQdVmh1qGs4u0Xn9s/pz1ddLww9g3kc5ZW4IB2vWV9fj60a9htTswu2AlsD+bwGRSizPyjdExY/FNuPWx+ka/PpwdH4Mak28Mytefsxnf8OsjYdY34f7B0vumxb1SUvI4ACA5ucf7JurT6ekW4plWmLac+RlKnyzVLgCzo2WiXZThHnMijSDhy9RnAOcFSj8iBNx3fnSNfiQRdPvwdtpxwmVl531jFHRvlqDtiuPfB/MzTJ92oyLDicBIohA7vW+M4hJj8Y12Hn60HC1jZMcPVdQH4+tH1xiJR6wY/aNg9I9ZonzDn3Mk37Q4B5erEEOH/gpVVTv7pKTkTkQXp8uLpzXJ2sezyzO197G9kTsyV7vQogV0axcT6f7WE24kkh4+mDrcaBl9udFGfmg3VzS7WI4Zi2/C/R1cX7mzEps/+AZOZwamTP59uPLayjfhRt7oy+JFKlyZss7uSH3DB81HGklEOrto52PmeojFN3xZpnyzYMF9kCQLGPN3+XefXV48HS7HWwBQ8ngJv9rsu6V4E8s7LTOEG45oZGe2zLj55pWTXwHAMG/ePfE8biy+MWtntsxEBe2b9Y1ZO+3JJZ5lMkBLGnIZ6uoO5rhcRV06aUiXFs/kHsnja/bWDBz6q6FwFboSXZ1uRfnX5ShbUwaXuwjDh5+a6OoI2pFjj70VatKQ/3TlpCFdWjyhJf+4b0Gi69HtWH7qcgBAyfGPJLgmgvbGanVgxow/o7HRk+JyFf8u0fVpK7qseLqKXCfUHazLPfqyYPIPQTuxZeUWHNx0EDnDc9C7z/REV0eQACZO/B2czkzU1u77W1dNGtIlxZOIqLGq8TFrkhXH3trtk3+0O2+c9wYAYOlzSxNcE0GikCQZ8+bdA5+v3uZ2974j0fVpC7qkeLqKXb9r9DSmzvjzDFgdLf7RiyVdGxD9xbo+j2UkzAZeW0wcVzu2GTsF8Z2/KKxvvnr0K1SXV6N4RjFy6uYzeK0AWKJ8YwazvjE7J3pbXDeySbtYfGP2XMykqDP0zbBhJ2tJQ35DRB1jatQ40uXEk4isdfvrbnNmODHxdxFDzSKNDOFFKZKdorMLd+Hq7cKhz54ezt6oPkbrjPY1M4KkVb5RFAXvXfUeQIRls19X8N4cBiYBoEi+0U9dEQ4j35j1Qzx8w+9n1jdmr4dYfBOt3rH6xuic9ccwCuw3IsQ3gaQhj0NRvFJm5gBTOQg7E11OPN3F7tu9dV7r3HtCkn8YBQ4bja4xCjg3mv5APz2DVq5+BIlRMH646Q/0GE5/oPtbH3CNMHZGvzN/k5n1jbaN901wdM2qP32KxqpGDBl6PFKbhhJ8VjO+4c9B5raZ8Q1/Htp3M77RT12hobcP5xv96Jpwvon1utG3Wo18Y/a64cvRvocbocRj5BsjX5ryTZ8+x/hzckbi8OGtC2XZ1iNCvTsdXUo81eQfl7l6uTD8lOFA9DmJjKZDMLIzM5Io0rpo0yQYjQjh99WPPDGy008NES6o2mgKiUh1NvX462v04dPbPoMkWbFk0RPQjSTij6Nfb1RH/pzbwjfhgsSNzjnSb9zauM9o102kf/Ta2jfhrptW+4ZLGrLCwL7T0qXE013sfsLf5JeWPLZES/6hJYGI9n5Hm67AzPQa/GckOzPlaQHaZt4/xRIcHsvUHnE555WXrpT9vkaMG3cRbLakaMc16xsfYnvPGI1YfGPm/W8s14MZO7PHjcU3ZgXebJkx+yY3dxh69z4OHk/ZJKs1qW/EvToRXUY8ZZucVbWz6vicETnoc2y3SOrSYaivrMc3//kGVmsSZs/+Z6KrI+iABJKGEBwO98pE1yVedBnxTMlNWcEUhtKnSxNdlW7Hq2e8CuZnmHHMnyDLpnN1CroRLlcBhg07GTU1e/qnpOR0iWkcuoR4WpOsfT1lnsm9j+uN3GG5ia5Ot6JiRwW2vLEFzkwnJk++KtHVEXRg5s+/D5JkhaL4lye6LvGgS4inw+V4C9Qi+YegHXjl5FcABsz/9/xEV0XQwXE63Rg//jLU1x/Kcbt7nZTo+hwpnV48U3JSJtXsrRkw7ORhcBUYJv8we47xTmAQS1YfM8TyW5m1PaLff/eXu7Hr811w9XJh2KIJADPtwnifcyy/Xbx/l3hj9pzNBK8DsZ1Hm98rM2feAqs1CQ0NlY929qQhnV48Fb+yXLJKmH9fi5aP1qsabRSOovsMhz74OFovpply+TIi9QLzyXAj2fk5u2jTMwBH6Jvlp6nJP669juGey8CNJEqUb6Kds5lRPW193USz18eOhiuTmbCL1Tdkwk5//HDH5T+DWK0OHHPMX9DY6Elxu4uvjFBGh6dTi6er0HVi/aH6nPGXjmdOd9jkH0bByhpGgeRGF5pR4LCRnT+Mnf5CMwqWNkJvZxSgrR0D3PZI58zTat9sWbkFhzYdQk7+EPQ+fCWD1wZAinTO4XwYi294W32Gc6PAfn6f1vrG6B+sI7lu9Oeh1SNSbCdvB8TmG31sbSTf8OVGC8SPxTchgx4mTPgtnM4s1Nbu79RJQzqteBIRNXoCyT9m3jKT/5cuUuAwdHZGgcNGF5pRUDW/LlIwvtEIEiMijSDhy9TfhOFGEunrEc03pLML5xsCA14/7T0AwPElLzJuJBFfRyORj6dv+BufPy647WZ9w9sZn3MA/nc2a2fGN+GuG61u8fQNQ2TfgLMD4uObkMB+SZIxf/7dzOuts7jdvTttbFunFU9XL9cVjZ7GlGNuPgZWp5X/sSK9RzEaRmaEpPuMhhl7o6F24ew0ItnxLdFIxzXrG/4cItnRlw+sR83hg+jdeyZ69BhsJqia/zQsE+Z8w5dhxjfRjtsa30RCf8yO6BvtH6xox20r3xAADB16MrndxfB4dl3SWZOGdErxJCJr7f7avzkznZhw+QR+U0xTBiQAs8dti2lC4jKVg6IoeP/6t0EkYenSZ+NQrSCJ9E13m4YDiL+/Y/INnzTE7S5+OpZ9OwqdUjzdvd13+Op91nn3zOOTfwjagY9v+hiNnkYMGXICUlNFTK2g9fTuPQO5uSNRVbWzpDMmDel0ykNEKZ5dnt+4erkw7ORhia5Ot8LX5MNnt38GySphcYmYXkNw5JSWPq0mDcl5LdF1iZVOJ56uXq4nFK8iLXk8mPxD0E6svGQl/I1+jLtgQrTkHwKBKXJyhqJPn1nweHZN7GxJQzqVeMo2uYenzLMsd2Qu+hxjmPxDqGkbUV9Zj28e/wbWJCtm3zY30dWJN+K6SSBLlvwHRBIcDlenShrSqcQzJSdi8g+G5lRwkdDSaUV7Ea5PYBvNzkzws5njMpifTsEsZssMW8dXT1OTf/x+DuRXT/JDkYCO7xuzKdvMXjfRgsiBtrluzNRP840ZzKQE1Oza3DcuVwGGDj0ZNTV7+6ek5Ew2Ua8OQacRT2uSta9nl2dSn1l9kDM0h9/EBw4D4ePiFAM7o4vCKEYuFsKVqS83XB31dkY3IR9UrZUfaYqFI/JNxY4KbHlrC5yuNEymV4Cfj6JWuqfL+UZ3HN4uVsxOFRLNNxqRfBPtnI18E6kurfVN0Hb+/HshSVYA9LrB/h2STiOeDpdjJUmEJf9ZAhhfLBpGQchGNygf72Y07Ezi7LRt+uk6+O1Go2aMpmcwutDMjDjij6+PUw03gkR/sRqNronkGwbA/8rS1wEGzJ9zn6IbSdSWvoGBXSTf6EfLgPtbI9qoGf2gh6i+4ezNXDdGAxWMRh4ZnbORbyIF4xtdZ0a+ifQPlkarrhuu3Ki+cTrd/gkTfstqa/dluN1Fv4pQlw5DpxDPlJyUyTV7a/oPPXmolvwjWuCw/kIzGvVgZB/pBiWdXbgWhqSzC4dsYGdkbxSsbFRHo8BsIzv9MSL5hnZ/coh2fb0Nbncxhg3+dXv6Rl/faL7hjxFundkBCGauG/05m/GNvg76Osbqm0hlRvJDtH3NJB2Jh29CBjMcc8xfyGpNRn195aNE1OG1qcNXEOCSf9wbTP5BMBfYLJu0k2DuPZqZkRkaZt8rxTIVsplHwrj6Zvk5/5UAoKTkSTPHBeLrG18M5cXbN2aCw82OJIrFN2amuADM+4Y/fiQktcxotJVvSEsa0tRUnexy9erwSUM6vHi6i9y/qj9Unz3htxMQIfmHoA3Y/OZmHPppP3J7jkBx8bREV0fQDZgw4TIkJWWhtnb/rR09aQgxlqgRZ9EhIiKZasHgLJhYoJBEwfUgEFNYxH8BTduBAAlSNDsAIIlM24FBieZf1Y6xKIam7eLom52f7ZSgAHl5Y2GxOKOfM0kSY4opO4BF903AzsQ5B97BRjt2IH8kUbzstGPH2667+6au7gAdPLiJAKxhjHXY3vcOLZ4AQEQvATg+0fUQCATtD2PmM2y3Nx1ePAUCgaAj0uHfeQoEAkFHRIinQCAQtAIhngKBQNAKhHgKBAJBKxDiKRAIBK1AiKdAIBC0AiGeAoFA0AqEeAoEAkEraJV4EpGTiFYRkaz+PYOIWj0DHhHZiOgTIjKbzFUgEHRz9DoU474tNCtWHYpZPNWKng1gOWNMy1AzEsA3sZalwRhrAvABgJNaW4ZAIOg+hNGhWBgJnWbFqkOmxJOIXiKiO4noIwDXAzgVAD/b3QgA+UT0BRH9QkQz1P2OJ6K1RLSBiD4loh7q+jwieoWIviGiTUR0NIAVarkCgUDQgmg6ZKQr4TQIYTQLsegQYyzqAmATgJvV7zYAe3XbvwFwk/p9NoDV6vdMzuZPAC5BYJ6VDQAWquuTAKQikCfwgJn6iEUsYul+SyQdiqArLTRI/R5Os0zrUNSWJxE5AGQAuFldlQWgkttuAZAJ4K/qqvWqDQCcSUT/I6INAC4G0ACgBMCPjLE3VfGuY4xVs0DTu4mIUqPVSSAQdC+i6RDC6AoMNCiSZsWiQ2Ye24cA+IIxpmWZrgfg4LYPBvATC7wvAIDRADYQ0ekAjgYwkzE2AsBmAN8j8K5hbZhj2REQWIFAIOCJpkMjodOVCBpkqFncrqZ0yIx4DgPwrfYHY6wCgKz+SwAE3h30JiI7EaUg0DS+S91vDWOshoiWAZgE4DsAexFwhHaC2nvQTASay14TdRIIBN2LaDpkpCvhNCicZsWkQzGLp8p7AKao30cAeBbAGgD/A3APY2wtgCcBXEZEqwH0B/ALY6wWwBMAcojoeyJaD2CiWs4xADrVpPcCgaDdiKZDT6ClroTToHCaBcSgQ61KhkxEowBcwRg7Leadw5e5HMD1jLHN8SpTIBB0XRKtQ60KkmeMfQPgo9YEpxpBRDYAK4RwCgQCsyRah8Q0HAKBQNAKxNh2gUAgaAVCPAUCgaAVCPEUCASCViDEUyAQCFqBEE+BQCBoBUI8BQKBoBUI8RQIBIJWIMRTIBAIWoEQT4FAIGgFQjwFAoGgFQjxFAgEglYgxFMgEAhagRBPgUAgaAX/D1dwQVQeeydBAAAAAElFTkSuQmCC\n", "text/plain": [ "
" ] }, "metadata": { "needs_background": "light" }, "output_type": "display_data" } ], "source": [ "fig, tax = ternary_plot_winning_frequencies(\n", " divided_majority_av,\n", " scale=SCALE,\n", " init='random_tau',\n", " samples_per_point=SAMPLES_PER_POINT,\n", " n_max_episodes=N_MAX_EPISODES,\n", " title='',\n", " legend_title='Winners',\n", " file_save_data='sav/DM_AV.sav',\n", ")\n", "plt.savefig('img/fDM_AV.png', dpi=600, bbox_inches=\"tight\")" ] }, { "cell_type": "code", "execution_count": 5, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:15.761665Z", "start_time": "2021-02-09T13:45:15.749698Z" } }, "outputs": [ { "data": { "text/plain": [ "array([1.0, 0.0, 0.0], dtype=object)" ] }, "execution_count": 5, "metadata": {}, "output_type": "execute_result" } ], "source": [ "tax.f_point_values_(right=0.02, top=0.69, left=0.29)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "An example where the CW may not be elected under AV:" ] }, { "cell_type": "code", "execution_count": 6, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:15.789193Z", "start_time": "2021-02-09T13:45:15.764658Z" } }, "outputs": [], "source": [ "profile = ProfileHistogram({\n", " ('abc', (1, )): Fraction(55, 100), \n", " ('bac', (1, )): Fraction(25, 100), \n", " ('cba', (1, )): Fraction(20, 100) \n", "})" ] }, { "cell_type": "code", "execution_count": 7, "metadata": { "ExecuteTime": { "end_time": "2021-02-09T13:45:15.913305Z", "start_time": "2021-02-09T13:45:15.793626Z" } }, "outputs": [ { "data": { "text/plain": [ "Equilibria:\n", " ==> a (FF)\n", " ==> b (D)\n", "\n", "Non-equilibria:\n", " ==> a (D)\n", " ==> a (D)\n", " ==> a (FF)\n", " ==> b (D)\n", " ==> a, b (FF)\n", " ==> b (D)" ] }, "execution_count": 7, "metadata": {}, "output_type": "execute_result" } ], "source": [ "profile.analyzed_strategies_ordinal" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "language": "python", "name": "python3" }, "language_info": { "codemirror_mode": { "name": "ipython", "version": 3 }, "file_extension": ".py", "mimetype": "text/x-python", "name": "python", "nbconvert_exporter": "python", "pygments_lexer": "ipython3", "version": "3.9.7" }, "toc": { "base_numbering": 1, "nav_menu": {}, "number_sections": true, "sideBar": true, "skip_h1_title": true, "title_cell": "Table of Contents", "title_sidebar": "Contents", "toc_cell": false, "toc_position": {}, "toc_section_display": true, "toc_window_display": false } }, "nbformat": 4, "nbformat_minor": 4 }